Nuprl Definition : es-interface-history
11,40
postcript
pdf
es-interface-history(
es
;
X
;
e
) == concat(mapfilter(
e
.
X
(
e
);
e
.
e
X
;es-le-before(
es
;
e
)))
latex
Definitions
concat(
ll
)
,
mapfilter(
f
;
P
;
L
)
,
X
(
e
)
,
x
.
A
(
x
)
,
e
X
,
es-le-before(
es
;
e
)
FDL editor aliases
es-interface-history
origin
e.X(e);e.e 
X;es-le-before(es;e))) e.X(e);e.e X;es-le-before(es;e))) x.A(x) X